Optimal. Leaf size=56 \[ \frac {-33-47 x^2}{13 \sqrt {3+5 x^2+x^4}}+\frac {3}{2} \tanh ^{-1}\left (\frac {5+2 x^2}{2 \sqrt {3+5 x^2+x^4}}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 56, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 4, integrand size = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.160, Rules used = {1265, 791, 635,
212} \begin {gather*} \frac {3}{2} \tanh ^{-1}\left (\frac {2 x^2+5}{2 \sqrt {x^4+5 x^2+3}}\right )-\frac {47 x^2+33}{13 \sqrt {x^4+5 x^2+3}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 212
Rule 635
Rule 791
Rule 1265
Rubi steps
\begin {align*} \int \frac {x^3 \left (2+3 x^2\right )}{\left (3+5 x^2+x^4\right )^{3/2}} \, dx &=\frac {1}{2} \text {Subst}\left (\int \frac {x (2+3 x)}{\left (3+5 x+x^2\right )^{3/2}} \, dx,x,x^2\right )\\ &=-\frac {33+47 x^2}{13 \sqrt {3+5 x^2+x^4}}+\frac {3}{2} \text {Subst}\left (\int \frac {1}{\sqrt {3+5 x+x^2}} \, dx,x,x^2\right )\\ &=-\frac {33+47 x^2}{13 \sqrt {3+5 x^2+x^4}}+3 \text {Subst}\left (\int \frac {1}{4-x^2} \, dx,x,\frac {5+2 x^2}{\sqrt {3+5 x^2+x^4}}\right )\\ &=-\frac {33+47 x^2}{13 \sqrt {3+5 x^2+x^4}}+\frac {3}{2} \tanh ^{-1}\left (\frac {5+2 x^2}{2 \sqrt {3+5 x^2+x^4}}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.14, size = 54, normalized size = 0.96 \begin {gather*} \frac {-33-47 x^2}{13 \sqrt {3+5 x^2+x^4}}-\frac {3}{2} \log \left (-5-2 x^2+2 \sqrt {3+5 x^2+x^4}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(94\) vs.
\(2(46)=92\).
time = 0.11, size = 95, normalized size = 1.70
method | result | size |
risch | \(-\frac {47 x^{2}+33}{13 \sqrt {x^{4}+5 x^{2}+3}}+\frac {3 \ln \left (x^{2}+\frac {5}{2}+\sqrt {x^{4}+5 x^{2}+3}\right )}{2}\) | \(43\) |
trager | \(-\frac {47 x^{2}+33}{13 \sqrt {x^{4}+5 x^{2}+3}}-\frac {3 \ln \left (-2 x^{2}+2 \sqrt {x^{4}+5 x^{2}+3}-5\right )}{2}\) | \(47\) |
elliptic | \(-\frac {3 x^{2}}{2 \sqrt {x^{4}+5 x^{2}+3}}+\frac {11}{4 \sqrt {x^{4}+5 x^{2}+3}}-\frac {55 \left (2 x^{2}+5\right )}{52 \sqrt {x^{4}+5 x^{2}+3}}+\frac {3 \ln \left (x^{2}+\frac {5}{2}+\sqrt {x^{4}+5 x^{2}+3}\right )}{2}\) | \(74\) |
default | \(-\frac {3 x^{2}}{2 \sqrt {x^{4}+5 x^{2}+3}}+\frac {15}{4 \sqrt {x^{4}+5 x^{2}+3}}-\frac {75 \left (2 x^{2}+5\right )}{52 \sqrt {x^{4}+5 x^{2}+3}}+\frac {3 \ln \left (x^{2}+\frac {5}{2}+\sqrt {x^{4}+5 x^{2}+3}\right )}{2}+\frac {\frac {10 x^{2}}{13}+\frac {12}{13}}{\sqrt {x^{4}+5 x^{2}+3}}\) | \(95\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.29, size = 56, normalized size = 1.00 \begin {gather*} -\frac {47 \, x^{2}}{13 \, \sqrt {x^{4} + 5 \, x^{2} + 3}} - \frac {33}{13 \, \sqrt {x^{4} + 5 \, x^{2} + 3}} + \frac {3}{2} \, \log \left (2 \, x^{2} + 2 \, \sqrt {x^{4} + 5 \, x^{2} + 3} + 5\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.40, size = 81, normalized size = 1.45 \begin {gather*} -\frac {94 \, x^{4} + 470 \, x^{2} + 39 \, {\left (x^{4} + 5 \, x^{2} + 3\right )} \log \left (-2 \, x^{2} + 2 \, \sqrt {x^{4} + 5 \, x^{2} + 3} - 5\right ) + 2 \, \sqrt {x^{4} + 5 \, x^{2} + 3} {\left (47 \, x^{2} + 33\right )} + 282}{26 \, {\left (x^{4} + 5 \, x^{2} + 3\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x^{3} \cdot \left (3 x^{2} + 2\right )}{\left (x^{4} + 5 x^{2} + 3\right )^{\frac {3}{2}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 5.42, size = 46, normalized size = 0.82 \begin {gather*} -\frac {47 \, x^{2} + 33}{13 \, \sqrt {x^{4} + 5 \, x^{2} + 3}} - \frac {3}{2} \, \log \left (2 \, x^{2} - 2 \, \sqrt {x^{4} + 5 \, x^{2} + 3} + 5\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.31, size = 52, normalized size = 0.93 \begin {gather*} \frac {3\,\ln \left (\sqrt {x^4+5\,x^2+3}+x^2+\frac {5}{2}\right )}{2}-\frac {47\,x^2}{13\,\sqrt {x^4+5\,x^2+3}}-\frac {33}{13\,\sqrt {x^4+5\,x^2+3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________